#include <time.h>
#include <limits.h>
#include <nxos.h>

clock_t clock(void)
{
    return NX_ClockGetMillisecond();
}
